KolyangHOL-Z, an Integrated Formal Support Environment for Z in Isabelle/HOL | |
ISBN: | 978-3-8265-4068-4 |
Reeks: | BISS Monographs Uitgever: Prof. Dr. Bernd Krieg-Brückner Bremen |
Volume: | 4 |
Trefwoorden: | Formal Methods; Z; HOL; Higher.Order-Logic; Embedding |
Soort publicatie: | Dissertatie |
Taal: | Engels |
Pagina's: | 134 pagina's |
Gewicht: | 198 g |
Formaat: | 20,5 x 14,5 cm |
Bindung: | Softcover |
Prijs: | 44,50 € / 89,00 SFr |
Verschijningsdatum: | Maart 1999 |
Kopen: | |
Aanbevelen: | Wilt u dit boek aanbevelen? |
Recensie-exemplaar | Bestelling van een recensie-exemplaar. |
Verlinking | Wilt u een link hebben van uw publicatie met onze online catalogus? Klik hier. |